[计] 形式语义语言;
A Formal Semantic Model Facing Object Language
一个面向对象语言的形式语义模型
It indicated that the basic research should mostly include the development of ontology, the formal semantics of Semantic Web language and the development of Trust and Proof model.
总结了未来语义Web基础研究和应用研究的方向:语义Web的基础研究主要包括本体的发展、语义Web语言的形式语义和确信(Trust)与证据(Proof)模型的开发;
简答网 · 双语娱乐资讯
简答网 · 高考英语
简答网 · 四六级英语
简答网 · 初中英语作文